home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / examples.arc / EXAMPL12.PRO < prev    next >
Text File  |  1986-10-07  |  414b  |  21 lines
  1. /* Program 12 */
  2. /*
  3.   Goals to enter are on page 49 of the manual.
  4. */
  5.  
  6. domains
  7.     integerlist = integer*
  8.  
  9. predicates
  10.     append(integerlist,integerlist,integerlist)
  11.     writelist(integerlist)
  12.  
  13. clauses
  14.     append([],List,List).
  15.     append([X|L1], List2, [X|L3]) if
  16.         append(L1,List2,L3).
  17.     writelist([]).
  18.     writelist([Head|Tail]) if
  19.         write(Head," "),
  20.         writelist(Tail).
  21.